1. Formal Description Techniques and Protocol Specification, Testing and Verification :
پدیدآورنده : edited by Tadanori Mizuno, Norio Shiratori, Teruo Higashino, Atsushi Togashi.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer Communication Networks.,Computer science.
رده :
QA76
.
9
.
D5
E358
1997